//ServletContextҪ
 
int getMajorVersion() // Returns the major version of the Java Servlet API that this servlet container supports. 
 
java.lang.String getMimeType(java.lang.String file) //Returns the MIME type of the specified file, or null if the MIME type is not known. 
 
 RequestDispatcher getNamedDispatcher(java.lang.String name) //Returns a RequestDispatcher object that acts as a wrapper for the named servlet. 
 
java.lang.String getRealPath(java.lang.String path) //Returns a String containing the real path for a given virtual path. 
 
RequestDispatcher getRequestDispatcher(java.lang.String path) //Returns a RequestDispatcher object that acts as a wrapper for the resource located at the given path. 
 
java.net.URL getResource(java.lang.String path) //Returns a URL to the resource that is mapped to a specified path. 
 
java.io.InputStream getResourceAsStream(java.lang.String path) //Returns the resource located at the named path as an InputStream object. 
 
 java.lang.String getServletInfo() //Returns the name and version of the servlet container on which the servlet is running. 
 
 void log(java.lang.String msg) //Writes the specified message to a servlet log file, usually an event log. 
